$\forall$$M$:MsgA, $l$:IdLnk, ${\it tg}$:Id. $M$.dout($l$,${\it tg}$) $\in$ Type